Connecting the profinite completion and the canonical extension using duality
نویسندگان
چکیده
We show using duality and category theory that the profinite completion  of a bounded distributive lattice expansion A is a homomorphic image of the canonical extension Aσ . Moreover the natural mapping μ : A →  can be extended to a surjection ν : Aσ ! Â.
منابع مشابه
Canonical Extensions and Profinite Completions of Semilattices and Lattices
Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class S∧ of (unital) meet semilattices. Any S ∈ S∧ embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt(S), is a compact and ∨∧ -dense exte...
متن کاملProfinite Completions and Canonical Extensions of Heyting Algebras
We show that the profinite completions and canonical extensions of bounded distributive lattices and of Boolean algebras coincide. We characterize dual spaces of canonical extensions of bounded distributive lattices and of Heyting algebras in terms of Nachbin order-compactifications. We give the dual description of the profinite completion ̂ H of a Heyting algebra H, and characterize the dual sp...
متن کاملOn profinite completions and canonical extensions
We show that if a variety V of monotone lattice expansions is finitely generated, then profinite completions agree with canonical extensions on V . The converse holds for varieties of finite type. It is a matter of folklore that the profinite completion of a Boolean algebra B is given by the power set of the Stone space of B, or in the terminology of Jónsson and Tarski [5], by the canonical ext...
متن کاملComparison of MacNeille, Canonical, and Profinite Completions
Using duality theory, we give necessary and sufficient conditions for the MacNeille, canonical, and profinite completions of distributive lattices, Heyting algebras, and Boolean algebras to be isomorphic.
متن کاملProfinite and pro-p completions of Poincaré duality groups of dimension 3
We establish some sufficient conditions for the profinite and prop completions of an abstract group G of type FPm (resp of finite cohomological dimension, of finite Euler characteristics) to be of type FPm over the field Fp for a fixed natural prime p (resp. of finite cohomological p-dimension, of finite Euler p-characteristics). We apply our methods for orientable Poincaré duality groups G of ...
متن کامل